/* Initial beliefs */

ande.

/* Initial goal */

!move.

/* Plans */

+!move : ande  & not volte <- buscando; !!move.

+!move : volte <- voltando; !!move.

/*+volte : true <- voltando.

+ande: true <- andando.*/

+buscar: true <- buscando.